let returnX = () => ({name: 'Alice'});
let returnY = () => ({name: 'Alice', location: 'Seattle'});

// 类型系统强制源函数的返回值类型必须是目标函数返回值类型的子类型
returnX = returnY; // OK
returnY = returnX; // Error, because x() lacks a location property